builder-tool: Don't empty out <mark> elements

We were inadvertedly losing the content of <mark>
elements. Fix this, by marking (!) them as pcdata
elements.

diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c
index 9489e4efb07a728de87bc03d7d2057436c0e216c..144f823e6ad02269777f00498634e822a76fd33c 100644 (file)
--- a/gtk/tools/gtk-builder-tool-simplify.c
+++ b/gtk/tools/gtk-builder-tool-simplify.c
@@ -241,6 +241,7 @@ is_pcdata_element (Element *element)
     "mime-type",
     "col",
     "item",
+    "mark",
     NULL,
   };